Translating from Ordinary Language into Quantifier Logic Notation